Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
31	CONCURThe Benefits of Sometimes Not Being Discrete Jane Hillston LFCS, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-02 12:04:09 Process calculus Model checking Stochastic processes Models of computation Markov models
32	ABOUT MANUSCRIPTS FOR IJ ITA Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:58 Scientific modeling Models of computation Simulation Business process modeling Modeling and simulation Systems engineering Modeling language Business process management Petri net Conceptual model Scientific modelling
33	Uniqueness Typing Simplified—Technical Appendix Edsko de Vries∗ Department of Computer Science Trinity College Dublin, Ireland August 13, 2008 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Logic in computer science Models of computation Computability theory Metalogic Model theory Simply typed lambda calculus Lambda calculus CurryHoward correspondence Intuitionistic type theory
34	Towards a Theory of Networked Computation Joan Feigenbaum Michael Mitzenmacher Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2009-07-20 13:13:30 Cybernetics Network theory Distributed computing Theory of computation Computer science Computing Computation Network science Actor model Theoretical computer science Networked learning
35	Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat University of California, San Diego {ckillian, jwanderson, jhala, vahdat}@ Add to Reading List Source URL: www.macesystems.org Language: English - Date: 2007-03-11 23:28:24 Concurrent computing Liveness Safety Model checking Random walk Concurrency Models of computation
36	Computational Modeling, Formal Analysis, and Tools for Systems Biology Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2016-02-05 19:02:40 Bioinformatics Scientific modeling Models of computation Systems biology Concurrency Computational biology Linear temporal logic Model checking Agent-based model Gene regulatory network Construction and Analysis of Distributed Processes Petri net
37	Lecture 17: OpenMP Basics William Gropp www.cs.illinois.edu/~wgropp Model of Computation •  Fork/join model Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-02-14 13:47:52 Parallel computing Application programming interfaces Fortran OpenMP C POSIX library POSIX Threads Message Passing Interface
38	2000 Congress on Evolutionary Computation, San Diego CA, July, 2000 Experimental Validations of the Learnable Evolution Model Guido Cervone Kenneth K. Kaufman Ryszard S. Michalski* Add to Reading List Source URL: cervone.psu.edu Language: English - Date: 2015-11-18 09:12:45 Evolution Cybernetics Learnable Evolution Model Ryszard S. Michalski Evolutionary computation Genetic algorithm Evolutionary algorithm Genetic and Evolutionary Computation Conference Natural selection
39	Tools for system validation with B abstract machines⋆ Michael Butler1 and Michael Leuschel1,2 and Colin Snook1 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-06-09 09:07:09 Unified Modeling Language Infographics Systems Modeling Language Diagrams Models of computation Class diagram Michael Butler Model checking Object Process Methodology State diagram Activity Stereotype
40	Formal Testing g of Distributed Systems R. M. Hierons B Brunel Add to Reading List Source URL: www.cs.stir.ac.uk Language: English - Date: 2010-06-19 09:50:00 Software testing Model-based testing Distributed computing Theory of computation